Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
271	E XC E L L E N C E • R E S P E C T • PA N - A F R I C A N I S M • I N T E G R I T Y AIMS SOUTH AFRICA Add to Reading List Source URL: www.nexteinstein.org Language: English - Date: 2013-04-30 06:59:02 Methodology Logic model African Institute for Mathematical Sciences Program evaluation Empowerment evaluation Evaluation methods Evaluation Sociology
272	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-09-23 06:42:47 Tbilisi State University Institute for Logic Language and Computation Tbilisi Dick de Jongh Logic Geography of Europe Europe Jeroen Groenendijk Year of birth missing Gudauri
273	Center for Community Health and Evaluation Pa r t n er s h i p R esu lt s Part of Group Health Research Institute Add to Reading List Source URL: www.cche.org Language: English - Date: 2013-11-27 09:18:24 Sociology Program evaluation Cche Logic model Public health Evaluation methods Evaluation Health
274	Center for Community Health and Evaluation Pa r t n er s h i p R esu lt s Part of Group Health Research Institute Add to Reading List Source URL: www.cche.org Language: English - Date: 2013-11-27 09:18:38 Sociology Program evaluation Cche Logic model Public health Evaluation methods Evaluation Health
275	NIOSH Agriculture, Forestry, and Fishing Safety and Health Program Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2006-12-27 09:26:27 Health Risk Fatality Assessment and Control Evaluation National Agricultural Safety Database Occupational injury Logic model Health Hazard Evaluation Program National Occupational Research Agenda National Institute for Occupational Safety and Health Occupational safety and health Safety
276	Cyclic Combinational Circuits: Analysis for Synthesis Marc D. Riedel and Jehoshua Bruck California Institute of Technology Mail Code[removed], Pasadena, CA[removed]E-mail: {riedel, bruck}@paradise.caltech.edu Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2003-04-29 09:12:10 Design Logic in computer science Digital electronics Diagrams Electronic design Combinational logic Binary decision diagram Circuit Logic gate Electronic engineering Theoretical computer science Electronic design automation
277	Fun tions of Expli it Negation in German News Texts Alexandra Klein1 , Brigitte Krenn1 , and Harald Trost2 1 Austrian Resear h Institute for Arti ial Intelligen e (OFAI), Add to Reading List Source URL: www.ofai.at Language: English - Date: 2011-09-05 10:28:40 Grammar Logic Boolean algebra Rhetoric Negation Auxiliary verb Existential quantification Mathematics Linguistics Semantics
278	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-01-07 00:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
279	Canadian Council for Donation and Transplantation (CCDT) Summative Evaluation Final Report Prepared for: Add to Reading List Source URL: www.organsandtissues.ca Language: English - Date: 2012-02-04 17:47:22 Evaluation Educational psychology Value Logic model Canadian Institute for Health Information Formative assessment Organ donation Canadian Blood Services University of Alberta Hospital Evaluation methods Ethics Education
280	Logic Model for SERD Tribal College Grant Programs Resources Federal Grant Funds Add to Reading List Source URL: www.csrees.usda.gov Language: English - Date: 2012-01-26 14:23:14 Logic model Association of Public and Land-Grant Universities Rural community development Higher education Institute of Food and Agricultural Sciences Higher education in Canada Higher education in the United States Tribal colleges and universities

UPDATE